Aspect-Oriented Programming with Type Classes

We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation scheme where AOP programming idioms are mapped to type classes. The drawback of this approach is that we cannot easily advise functions in programs which carry type annotations. We sketch a more principled approach which is free of such problems by combining ideas from intentional type analysis with advanced overloading resolution strategies. Our results show that type-directed static weaving is closely related to type class resolution -- the process of typing and translating type class programs

The Annual Report: A Prime Disclosure Document

Hard real-time task models have evolved from periodic models to more sophisticated graph-based ones like the Digraph Real-Time Task Model (DRT) [1]. These models have in common that tasks are sequential in nature and do not allow for forking structures, modeling job releases that occur in parallel within the same task. To capture these, we present a task model that extends the DRT model with the possibility of forking and joining release paths. We are developing an exact schedulability test for EDF on uniprocessor systems with a pseudo-polynomial bound of its runtime.UPMAR

Biased amino acid composition in warm-blooded animals

Among eubacteria and archeabacteria, amino acid composition is correlated with habitat temperatures. In particular, species living at high temperatures have proteins enriched in the amino acids E-R-K and depleted in D-N-Q-T-S-H-A. Here, we show that this bias is a proteome-wide effect in prokaryotes, and that the same trend is observed in fully sequenced mammals and chicken compared to cold-blooded vertebrates (Reptilia, Amphibia and fish). Thus, warm-blooded vertebrates likely experienced genome-wide weak positive selection on amino acid composition to increase protein thermostability